Let <i>K</I> be a finite extension field of the field <i>E</i> and let <i>E</i> be a finite extension of the field <i>F</i>. Then  [<i>K:F</I>][<i>K:E</i>] = [<I>E:F</I>].